141La was separated and purified from fission products in this work for physical measurements aimed at improving the acc......

An algorithm for solving thesatisfiability problem is presented. It is proved that this algorithmsolves 2-SAT and Horn-S......

In this paper, a whole field solution to finite internally cracked plates is derived by complex variable method, where t......

提出了一种改进现有基于SAT的组合电路验证方法的新技术。主要创新在于提出了对CUVs的模拟蕴含学习方法．能快速地将许多间接的蕴含......

内容适配技术是实现通用多媒体访问的主流技术,如何实现内容适配系统是内容适配技术研究中的重要问题。基于SOA架构设计并实现内容......

<正> Complaining about faulty goods or bad service isnever easy. Most people dislike making a fuss. But ifsomething you ......

文中研究了模态逻辑推理的翻译法，即把模态逻辑公式按照一定的规则翻译成经典逻辑公式，再用传统的定理器进行推理，文中指出，该方法在理......